consistent-updates(es;In;Out;Cmd;isupdate;expl)
== e1, e2:E(Out).
== updates(expl(e1))  updates(expl(e2))  updates(expl(e2))  updates(expl(e1)) 

latex

---

clarification:

consistent-updates(es;In;Out;Cmd;isupdate;expl)
== e1:es-E-interface(es;Out), e2:es-E-interface(es;Out).
== updates_of(In;isupdate;expl(e1))  updates_of(In;isupdate;expl(e2))  es-E-interface(es;In) List
==  updates_of(In;isupdate;expl
==  updates_of(In;isupdate;(e2))  updates_of(In;isupdate;expl
==  updates_of(In;isupdate;(e2))  updates_of(In;isupdate;(e1))  es-E-interface(es;In) List 

latex

Up	abstract chain replication
Wellformedness Lemmas	consistent-updates wf
Definitions	x:A. B(x), P  Q, l1  l2, E(X), updates(L), f(a)
FDL editor aliases	consistent-updates